Đồ thị có hướng không chu trình Tập hợp sắp thứ tự một phần

Các quan hệ thứ một phần nghiêm ngặt có mối liên hệ chặt chẽ với các đồ thị có hướng không chu trình (hay còn gọi là DAG). Nếu một đồ thị được xây bằng cách lấy mỗi phần tử thuộc P {\displaystyle P} làm nútt và mỗi phần tử của ≤ {\displaystyle \leq } làm cạnh, thì mọi thứ tự một nghiêm ngặt đều là DAG, và bao đóng bắc cầu của DAG vừa là quan hệ thứ tự một phần nghiêm ngặt cũng vừa là DAG. Ngược lại, bởi trong quan hệ không nghiêm ngặt, mỗi nút sẽ có cạnh vòng lại nó nên không thể là DAG.

Liên quan

Tài liệu tham khảo

WikiPedia: Tập hợp sắp thứ tự một phần http://dml.cz/dmlcz/142762 http://match.stanford.edu/reference/combinat/sage/... http://www.eecs.umich.edu/courses/eecs203-1/203-Ma... //hdl.handle.net/10338.dmlcz%2F101379 //doi.org/10.1090%2FS0002-9939-1954-0063016-5 //doi.org/10.1090%2FS0002-9939-1968-0236071-7 //oeis.org/A001035 https://books.google.com/books?id=66oqDAAAQBAJ&q=%... https://books.google.com/books?id=6i-F3ZNcub4C&pg=... https://books.google.com/books?id=vVVTxeuiyvQC&pg=...